Only the low 32 bits are relevant.
For consistency also change a cast on regs->eax to regs->_eax.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
}
}
- switch ( (uint32_t)regs->eax )
+ switch ( regs->_eax )
{
case 0x00000001:
/* Modify Feature Information. */
break;
case 0x00000007:
- if ( regs->ecx == 0 )
+ if ( regs->_ecx == 0 )
b &= (cpufeat_mask(X86_FEATURE_BMI1) |
cpufeat_mask(X86_FEATURE_HLE) |
cpufeat_mask(X86_FEATURE_AVX2) |